Stichworte: process called disjunction